" Hans Kleine Büning" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Modellierung

Kastens Uwe, Kleine Büning Hans

Категория: fiction

2.89 Mb

#2

A Survey of Recent Advances in SAT-Based Formal Verification

Hans Kleine Büning, Theodor Lettmann

181 Kb

#3

CSL '88 Computer Science Logic 2 conf

Egon Börger, Hans Kleine Büning, Michael M. Richter

Категория: Cs_Computer science, CsLn_Lecture notes

2.87 Mb

#4

Computer Science Logic, 6 conf., CSL '92

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter

Категория: Cs_Computer science, CsLn_Lecture notes

3.83 Mb

#5

Computer Science Logic, 4 conf., CSL '90

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld

Категория: Cs_Computer science, CsLn_Lecture notes

3.67 Mb

#6

CSL '87 Computer Science Logic 1 conf

Egon Börger, Hans Kleine Büning, Michael M. Richter

Категория: Cs_Computer science, CsLn_Lecture notes

3.20 Mb

#7

Computer Science Logic, 5 conf., CSL '91

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter

Категория: Cs_Computer science, CsLn_Lecture notes

3.80 Mb

#8

CSL '89 Computer Science Logic 3 conf

Egon Börger, Hans Kleine Büning, Michael M. Richter

Категория: Cs_Computer science, CsLn_Lecture notes

4.21 Mb

#9

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Büning, Xishun Zhao

3.58 Mb